Verified simulation for robotics
نویسندگان
چکیده
منابع مشابه
Towards Verified Faithful Simulation
This paper presents an approach to construct a verified virtual prototyping framework of embedded software. The machine code executed on a simulated target architecture can be proven to provide the same results as the real hardware, and the proof is verified with a theorem prover. The method consists in proving each instruction of the instruction set independently, by proving that the execution...
متن کاملRobotics Training and Simulation
Minimally invasive surgery (MIS) originated in the 1970s in Germany where Kurt Semm, a gynecologist and engineer at the University of Kiel, headed a team that constructed laparoscopic instrumentation to successfully perform various laparoscopic gynecological procedures, as well as the first “endoscopic appendectomy” in 1982. The general surgery community adopted this early laparoscopic technolo...
متن کاملMultiway Synchrinizaton Verified with Coupled Simulation
We consider the problem of implementing multiway synchronization in a distributed environment providing only binary asynchronous communication. Our implementation strategy is formulated as a transformation on transition systems and we give a distributed algorithm for multiway synchronization. Correctness assertions and proofs are based on a new method: coupled simulations. The coupled simulatio...
متن کاملExtending Open Dynamics Engine for Robotics Simulation
Open Dynamics Engine (ODE) is the most popular rigidbody dynamics implementation for robotics simulation applications. While using it to simulate common robotic scenarios like mobile robot locomotion and simple grasping, we have identified the following shortcomings each of which adversely affect robot simulation: lack of computational efficiency, poor support for practical joint-dampening, ina...
متن کاملContact Dynamics Simulation for Space Robotics Applications
This paper presents two examples of contact dynamics simulations for space robotics application: Satellite docking in GEO and rover locomotion on planetary surfaces. The contact modeling techniques include a) contact between polygonal surfaces according to the elastic foundation model theory and b) contact between digital elevation grid surfaces and point cloud surfaces with application of Bekk...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2019
ISSN: 0167-6423
DOI: 10.1016/j.scico.2019.01.004